Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
641	On Correctness of Imperative Programs — Precondition Calculation (DRAFT) R.D. Arthan 10 December 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-12-10 08:21:16 Functional predicate Model theory Predicate Programming language Necessity and sufficiency Logic Mathematical logic Mathematics
642	LTL Goal Specifications Revisited Andreas Bauer and Patrik Haslum1 Abstract. The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constr Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2010-05-25 19:52:52 Logic Mathematical logic Semantics Model checking Model theory Interpretation Trace Temporal logic Linear temporal logic Mathematics
643	Matching Trace Patterns with Regular Policies Franz Baader1, , Andreas Bauer2 , and Alwen Tiu2 1 TU Dresden, Germany [removed] 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-04-14 20:01:26 PSPACE-complete NP Regular language Deterministic finite automaton P FO Linear temporal logic Book:Theory Of Computation Theoretical computer science Complexity classes Applied mathematics
644	Journal of Artificial Intelligence Research[removed]171 Submitted 08/11; published[removed]The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary Add to Reading List Source URL: wwwusers.di.uniroma1.it Language: English - Date: 2012-02-01 08:37:31 Mathematics Science Natural language processing Word-sense disambiguation Graph Word sense Algorithm Linguistics Lexical semantics Semantics
645	Section 14.2 A Hierarchy of Languages Context-Sensitive Languages A context-sensitive grammar has productions of the form xAz → xyz, where A is a nonterminal and x, y, z are strings of grammar symbols with y ≠ Λ. Th Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-12-18 13:22:30 Mathematics Applied mathematics Computability theory Complexity classes Recursively enumerable language Unrestricted grammar Computability Linear bounded automaton Context-sensitive language Formal languages Theoretical computer science Theory of computation
646	Reprinted with corrections from The Bell System Technical Journal, Vol. 27, pp. 379–423, 623–656, July, October, 1948. A Mathematical Theory of Communication By C. E. SHANNON Add to Reading List Source URL: dsp-book.narod.ru Language: English - Date: 2013-05-06 00:56:14 Markov models N-gram Natural language processing Speech recognition Markov chain Variable Summation Letter frequency Entropy Mathematics Science Statistics
647	Efficient submatch addressing for regular expressions Master’s Thesis Ville Laurikari Add to Reading List Source URL: laurikari.net Language: English - Date: 2010-10-05 00:06:57 Models of computation Computer science Applied mathematics Deterministic finite automaton Regular expression Finite-state machine Regular language Nondeterministic finite automaton String searching algorithm Automata theory Formal languages Theoretical computer science
648	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
649	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
650	GATTEGNO BIBLIOGRAPHY This bibliography was compiled by the late Dick Tahta. Please send any new comments or corrections to Educational Solutions (UK) Ltd. Add to Reading List Source URL: www.cuisenaire.co.uk Language: English - Date: 2013-01-17 10:26:08 Philosophy of education Caleb Gattegno Educators Cuisenaire rods Mathematics education Silent Way Words in Color Sol Education Language education Alternative education

UPDATE